$\forall$$s$:${\it kl}$:Knd$\times$IdLnk fp$\rightarrow$ (Id$\times$Top) List, $l$:IdLnk, ${\it tg}$:Id. sends{-}on{-}pair($s$;$l$;${\it tg}$) $\in$ $\mathbb{B}$